w{-}eq{-}E($w$; $p$; $q$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$p$.1 = $q$.1 $\wedge_{b}$ ($p$.2 =$_{0}$ $q$.2)